Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
Lógicas não clássicas (e às vezes lógicas alternativas) são os sistemas formais que diferem de maneira significativa dos sistemas lógicos padrão, como a lógica proposicional e predicado. Existem várias maneiras em que isto é feito, inclusive por meio de extensões, desvios e variações. O objetivo dessas partidas é torná-lo possível construir diferentes modelos de consequência lógica e verdade lógica.
Lógica filosófica, especialmente em ciência da computação teórica, é entendida para abranger e se concentrar em lógicas não clássicas, embora o termo tem outros significados.